منابع مشابه
Symbolic Integration and Summation Using Homotopy Methods
The homotopy algorithm is a powerful method for indefinite integration of total derivatives, and for the indefinite summation of differences. By combining these ideas with straightforward Gaussian elimination, we construct an algorithm for the optimal symbolic integration or summation of expressions that contain terms that are not total derivatives or differences. The optimization consists of m...
متن کاملA Construction of Knot Floer Homotopy
Given a knot presented in a grid diagram, we construct a CW complex which has one cell for each generator of the grid chain complex, and whose homology is the grid homology. This space is welldefined, and its stable homotopy type is a knot invariant. Thus to each knot, we can associate an invariant spectrum, whose F2 homology is the knot Floer homology over F2. 1991 Mathematics Subject Classifi...
متن کامل-SSA and its Construction through Symbolic Interpretation
In this paper, we propose a new variant of SSA called-SSA and discuss its construction through symbolic interpretation of programs. By relaxing a condition of SSA form without violating the fundamental nature of static single assignment,-SSA form results in a representation which uses fewer join functions than the minimal SSA form. A graph representation called Value Flow Graph (VFG) is used to...
متن کاملSymbolic Execution Merges Construction, Debugging and Proving
There is naturally an interest in any technology which promises to assist us in producing correct programs. Some efforts attempt to insure correct programs by making their construction simpler. Some efforts are oriented toward increasing the effectiveness of testing to make the programs appear to perform as required. Other efforts are directed to prove the correctness of the resulting program. ...
متن کاملA homotopy construction of the adjoint representation for Lie groups
Let G be a compact, simply-connected, simple Lie group and T ⊂ G a maximal torus. The purpose of this paper is to study the connection between various fibrations over BG (where G is a compact, simply-connected, simple Lie group) associated to the adjoint representation and homotopy colimits over poset categories C, hocolimCBGI where GI are certain connected maximal rank subgroups of G.
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Applicable Algebra in Engineering, Communication and Computing
سال: 1993
ISSN: 0938-1279,1432-0622
DOI: 10.1007/bf01202036